#ifndef __EKF_IO_H__
#define __EKF_IO_H__

#include <libcommon/stdarg.h>

int ekf_vkprintf(const char *fmt, va_list ap);
int ekf_kprintf(const char *fmt, ...);

int ekf_vcprintf(const char *fmt, va_list ap);
int ekf_cprintf(const char *fmt, ...);

char *ekf_readline(const char *prompt);

#endif
